Видео с ютуба Homotopy Theory

#21 Homotopy Type Theory Explained: Contractibility, Interval Type

Joël Riou - Formalization of homotopy theory in Lean (Lean Together 2026)

[TopOx] Jakub Opršal: Homotopy theory in the complexity of homomorphism problems

Intro to Khovanov Stable Homotopy

A theorem we proved this year

Graph Isomorphism in Discrete Mathematics Theory & Examples

HHH | Dr. Fabian Hebestreit | Parametrised homotopy theory via symmetric retractive spectra

KAH | Dr. Gabriela Guzman | Rational and p-local motivic homotopy theory

Prof. John Jones | Deformation theory

Prof. Benoit Fresse | The rational homotopy theory of operads (mini-course)

Prof. Julie Bergner | Equivariant trees and partition complexes

Prof. Benoit Fresse | The rational homotopy theory of spaces (mini-course)

HHHW03 | Prof. Agnes Beaudry | K(n)-local homotopy from a Galois theory perspective -1

HHHW01 | Prof. Thomas Nikolaus | Higher categories and algebraic K-theory (1)

KAHW01 | Dr. Vesna Stojanoska | Introduction to Motivic Homotopy Theory II: Motivic Spectra

KAHW01 | Dr. Vesna Stojanoska | Introduction to Motivic Homotopy Theory I: Motivic Spaces

KAHW01 | Dr. Vesna Stojanoska | Introduction to Motivic Homotopy Theory III: Highlights

HHHW04 | Prof. Alexander Berglund | Rational homotopy theory of automorphisms of manifolds

HHHW03 | Dr. Zhouli Xu | Motivic Ctau-modules and Stable Homotopy Groups of Spheres

HHHW02 | Dr Magdalena Kedziorek | Algebraic models for rational equivariant commutative ring spectra